Knihy od autora Howard Barringer

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Temporal Logic in Specification

   Benham Banieqbal, Howard Barringer, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Advances in Temporal Logic

   Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough | Springer Netherlands, 2010

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3532 Kč

   Koupit
3. 

   Runtime Verification

   Howard Barringer, Ylies Falcone, Bernd Finkbeiner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
4. 

   Advances in Temporal Logic

   Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough | Springer Netherlands, 1999

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3532 Kč

   Koupit
5. 

   A Survey of Verification Techniques for Parallel Programs

   Howard Barringer | Springer, Berlin

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   547 Kč

   Koupit

Knihy zasíláme ve speciálních obalech z pevné lepenky. Zjistěte více